From static to dynamic process types
نویسنده
چکیده
Process types – a kind of behavioral types – specify constraints on message acceptance for the purpose of synchronization and to determine object usage and component behavior in object-oriented languages. So far process types have been regarded as a purely static concept for Actor languages incompatible with inherently dynamic programming techniques. We propose solutions of related problems causing the approach to become useable in more conventional dynamic and concurrent languagues. The proposed approach can ensure message acceptability and support local and static checking of race-free programs.
منابع مشابه
Relationship between Static and Dynamic Balance Characteristics with Types of MS in Women
MS is a lifelong disease that could involve the person in different forms. Knowing balance characteristics of different types of this chronic disease helps the specialists for controlling their complications. The purpose of this study was to recognize static and dynamic balance of different type of MS and to compare MS patients with healthy individual. 54 MS women in three groups (27- Relapsing...
متن کاملEvaluating Commercial Macroporous Resin (D201) for Uranium Uptake in Static and Dynamic Fixed Bed Ion Exchange Column
As part of the development of equipment and innovative technology for the process flow-sheet, a study on the selection of good resin for uranium uptake is ongoing. Both static and dynamic column equilibrium testing upon synthetic and Gattar pregnant leach solutions (PLS) were carried out to estimate the change of total capacity and breakthrough capacity of the commercial macroporous anion excha...
متن کاملComparative Study of Static and Dynamic Artificial Neural Network Models in Forecasting of Tehran Stock Exchange
During the recent decades, neural network models have been focused upon by researchers due to their more real performance and on this basis, different types of these models have been used in forecasting. Now, there is a question that which kind of these models has more explanatory power in forecasting the future processes of the stock. In line with this, the present paper made a comparison betw...
متن کاملSENSORIMOTOR CONTROL OVER FUSIMOTOR NEURONS OF THE TENUISSIMUS MUSCLE IN THE A NESTHETIZED CAT: A QUALITATIVE PRIMARY AFFERENT RECORDING
Cortical control of the sensory output of muscle spindles was studied in thirteen anesthetized cats in the present experiment. Gamma motoneuron activity was monitored during electrical stimulation of the sensorimotor cortex while recording from single primary afferents from the tenuissimus muscle. Findings are as follows: 1. The state of anesthesia is crucial in obtaining reproducible resu...
متن کامل3D and 4D Seismic Data Integration in Static and Dynamic Reservoir Modeling: A Review
Reservoir modeling is the process of generating numerical representations of reservoir conditions and properties on the basis of geological, geophysical, and engineering data measured on the Earth’s surface or in depth at a limited number of borehole locations. Therefore, reservoir modeling requires an incorporation of the data from a variety of sources, along with an integration of knowledge a...
متن کاملThe Effect of Analysis Methods on the Response of Steel Dual-System Frame Buildings for Seismic Retrofitting
In the present paper, the focus is on the evaluation of steel dual-system frame buildings using four main types of structural analysis (Linear Static, Linear Dynamic, Nonlinear Static and Nonlinear Dynamic Analyses) with regard to "Seismic Rehabilitation Code for Existing Buildings in Iran" (based on FEMA 273 and 356) where the first two authors of the article tend to follow the previous work (...
متن کامل